Algebraic semantics of recursive flowchart schemes

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algebraic Logic : Referential Algebraic Semantics

Wójcicki has provided a characterization of selfextensional logics as those that can be endowed with a complete local referential semantics. His result was extended by Jansana and Palmigiano, who developed a duality between the category of reduced congruential atlases and that of reduced referential algebras over a fixed similarity type. This duality restricts to one between reduced atlas model...

متن کامل

Semantics on Flowchart Programs and the Free Conway Theories

Several useful identities involving the fixed point or itération opération are conséquences ofjust the Conway theory axioms. In this paper we give several characterizations of thefree Conway théories including a concrete description based on "aperiodîc" homomorphisms of flowehart schemes. It follows from this concrete description that the équations that hold in Conway théories are exactly the v...

متن کامل

Induction of Recursive Program Schemes

In this paper we present an approach to the induction of re-cursive structures from examples which is based on the notion of recursive program schemes. We separate induction from examples in two stages: (1) constructing initial programs from examples and (2) folding initial programs to recursive program schemes. By this separation, the induction of recursive program schemes can be reduced to a ...

متن کامل

Algebraic Relations for Recursive Sequences

Through the following, we establish the conditions which allow us to express recursive sequences of real numbers, enumerated through the recurrence relation an+1 = Aan + Ban−1, by means of algebraic equations in two variables of degree n ∈ N . We do this, as far as we know, like it has never been formalized before. I’d like to precise that the work was develop without the support of any well-kn...

متن کامل

A Novel Reference Current Calculation Method for Shunt Active Power Filters using a Recursive Algebraic Approach

This paper presents a novel method to calculate the reference source current and the referencecompensating current for shunt active power filters (SAPFs). This method first calculates theamplitude and phase of the fundamental load current from a recursive algebraic approach blockbefore calculating the displacement power factor. Next, the amplitude of the reference mains currentis computed with ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Information and Control

سال: 1983

ISSN: 0019-9958

DOI: 10.1016/s0019-9958(83)80032-1